$\forall$${\it the\_w}$:World, $e$, ${\it e'}$:E. $e$ = ${\it e'}$ $\Leftrightarrow$ $e$ $=$ ${\it e'}$